Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
451	Extracting Hybrid Automata from Control Code Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA, {lyde,might}@cs.utah.edu Abstract. Formal methods—and abstract interpretation in particular— Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Applied mathematics Hybrid automaton Computer science Hybrid system Model checking State transition system Formal language Actor model Differential equations Automata theory Mathematics
452	A Structural Soundness Proof for Shivers’s Escape Technique A Case for Galois Connections Jan Midtgaard1 , Michael D. Adams2 , and Matthew Might3 1 2 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Abstract interpretation Valuation Galois connection Lambda calculus Entailment Logic Abstract algebra Mathematics
453	c 2008 Cambridge University Press JFP 18 (5 & 6): 821–864, 2008. 821 doi:[removed]S0956796808006941 First published online 12 August 2008 Printed in the United Kingdom Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Software engineering Mathematical notation Abstract interpretation Lambda calculus Abstraction Free variables and bound variables Garbage collection Pointer Computing Mathematics Data types
454	A posteriori soundness for non-deterministic abstract interpretations Matthew Might1 and Panagiotis Manolios2 1 2 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:08 Mind Mathematics Abstract interpretation Abstraction Structure
455	research highlights doi:[removed][removed]Technical Perspective Abstracting Abstract Machines Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Mathematical logic Abstract interpretation Algorithm Semantics Abstraction Olivier Danvy Conceptual model Economic model Mind Philosophy of mind Ethology
456	Abstract interpretation of concurrent, higherorder programs Matt Might University of Utah matt.might.net @mattmight Add to Reading List Source URL: matt.might.net - Date: 2014-01-06 09:40:20
457	Improving Flow Analyses via ΓCFA Abstract Garbage Collection and Counting Matthew Might Olin Shivers Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Computability theory Lambda calculus Theoretical computer science Abstract interpretation Free variables and bound variables Eval Computing Mathematics Software engineering
458	Abstract interpreters for free Matthew Might University of Utah, Salt Lake City, Utah, USA, [removed], http://matt.might.net/ Abstract. In small-step abstract interpretations, the concrete and abstract semantics Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:16 Abstraction Galois connection Mind Structure Mathematics Abstract interpretation
459	Improving Flow Analyses via ΓCFA Abstract Garbage Collection and Counting Matthew Might∗ ∗ Georgia Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Algebra Abstract interpretation Addition Integer 0 Arithmetic Abstract algebra Mathematics Elementary arithmetic
460	Rating Disambiguation Errors Andrea Asperti and Wilmer Ricciotti Department of Computer Science, University of Bologna {asperti,ricciott}@cs.unibo.it Abstract. Ambiguous notation is a powerful tool developed to deal wi Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2013-01-07 05:26:22 Regression analysis Interpretation Philosophy of mind Semantics Statistical hypothesis testing Errors and residuals in statistics Statistical power Structure Symbol Statistics Hypothesis testing Model theory

UPDATE